Homology Groups of Cubical Sets
نویسندگان
چکیده
منابع مشابه
On the Cubical Homology Groups of Free Partially Commutative Monoids
We study a Leech homology of a locally bounded free partially commutative monoid M(E, I). Given a contravariant natural system of abelian groups F on M(E, I) we build a precubical set T (E, I) with a homological system of abelian groups F and prove that the Leech homology groups Hn(M(E, I), F ) are isomorphic to the cubical homology groups Hn(T (E, I), F ), n > 0. As a consequence we have confi...
متن کاملIdeas from Zariski topology in the study of cubical sets, cubical maps, and their homology
Cubical sets and their homology have been used in dynamical systems as well as in digital imaging. We take a refreshing view on this topic, following Zariski ideas from algebraic geometry. The cubical topology is defined to be a topology in R in which a set is closed if and only if it is cubical. This concept is a convenient frame for describing a variety of important features of cubical sets. ...
متن کاملVarieties of Cubical Sets
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, me...
متن کاملVariation on Cubical sets
In the model presented in [1, 4] a type is interpreted by a nominal set A equipped with two “face” operations: if u : A and i is a symbol we can form u(i = 0) : A(i = 0) and u(i = 1) : A(i = 1) elements independent of i. The unit interval is represented by the nominal set I, whose elements are 0, 1 and the symbols. Alternatively, we have a presentation as a presheaf category over the category w...
متن کاملA category of cubical sets
The base category C is the full subcategory of the category of posets having for objects finite power of the poset 0 6 1. We write [1] the poset 0 6 1. We write I, J,K, . . . the object of C and 1I : I → I the identity map of I. If f : J → I and g : K → J we write fg : K → I their composition. If I is an object of C, we have two constant maps c0 : I → [1] and c1 : I → [1]. We write π1 : I × [1]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2018
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-018-9550-2